Desarrollo de un motor de matemática simbólica para la herramienta CHALKPY

La historia de la computación ha estado estrechamente relacionada con la resolución de problemas matemáticos. Durante siglos, grandes figuras en este campo han buscado la construcción de sistemas que deduzcan teoremas y resultados matemáticos. Es en este marco donde surgen los Sistemas de Álgebra Computacional, herramientas que permiten el cálculo simbólico mediante manipulaciones que reflejan los cálculos manuales que realizaría una persona. Este Trabajo de Fin de Grado busca la creación de motores algebraicos computacionales, a través de un compilador, que proporcionen un sistema de reescritura de términos para la resolución de expresiones matemáticas por medio de manipulaciones. Como caso particular de estos sistemas se pretende conseguir un motor que sustituya el sistema actual de Chalkpy, una herramienta para mejorar la presentación de contenido matemático en el aula. De este modo, se pretende que la herramienta se adapte mejor a las especificaciones de un usuario. La funcionalidad aportada soluciona los problemas que genera la necesidad de modificar un sistema, ante la introducción de nuevas funcionalidades, mediante la generación de código por un fichero de definiciones. Este recoge los elementos y las reglas de equivalencia que se desean utilizar en el sistema. El desarrollo de este proyecto ha seguido un ciclo de vida en cascada con retroalimentación para la creación del compilador, y un ciclo de vida iterativo incremental para la parte de la generación del código de los motores. Para la creación del analizador léxico se ha utilizado la herramienta JFlex y para el analizador sintáctico/semántico el generador CUP. El éxito de este proyecto se refleja en la creación de diversos motores entre los que se encuentra el motor algebraico para la nueva versión de Chalkpy.Computer history has been always linked with mathematical problem solving. For centuries, well-known personalities have been looking forward to build a system capable of self-proving theorems and math results. Is on this scenario where Computer Algebra systems arise: tools that allow symbolic calculus by doing manipulations that reflect the human manual way. This Bachelor Thesis is about using a compiler to create this kind of tools, to provide a rewriting term system for mathematical expression solving by manipulating them with equivalency rules. As a particular case, it is pretended to achieve a system that replaces the actual one used in Chalkpy, a tool used to improve the presentation of mathematical content in educational enviroment. Thanks to that, the created tool would be better adapted to the user requirements. The developed functionality solves the problems caused by the need of modifying a system when adding new features by code generation, according to a definition file. This file contains the desired rules that will be used in the system once it is generated. A waterfall with feedback lifecycle was the method choosen to create the compilator, and an iterative and incremental one was used for generating the engines code. To build the lexical analyzer was chosen, whilst JFlex was chosen; CUP was the tool used to build the sintactic/semantic analyzer. This project can be considered successful as it allows generation of multiple algebraic engine, the Chalkpy algebraic system being a special case

Cultura de segurança do paciente: avaliação dos enfermeiros na atenção primária à saúde

Introduction: Studies on patient safety in Primary Health Care (PHC) are up to date; however, there are no details on professionals' actual performance in relation to this matter. Thus, it is important to evaluate the safety culture characterization among nursing professionals in this scenario, since it will promote better care for users.Objective: To evaluate the patient safety culture in the Units with Family Health Strategy (FHS) program under nurses’ perspective.Method: Descriptive study of quantitative approach carried out in fourteen health Units in Curitiba City, Paraná State (PR), Brazil from July to December 2017. There were forty-three nurses participating in this study. Medical Office Survey on Patient Safety Culture (MOSPSC) was the tool used, comprising fifty-one questions that evaluate twelve dimensions of patient safety. This tool, Portuguese version, showed a Cronbach alpha coefficient of 0.95, which expresses high reliability. All data were analyzed by Descriptive Statistics using Likert scale. Results: Inconsistencies were found related to the information exchange with other institutions, work process, fear of guilt, punishment for errors, and management. In the overall evaluation, 50% of the Family Health Strategy (FHS) professionals rated patient safety “very good”, and 73.9% of Basic Health Units (BHU) professionals rated patient safety “good”.Conclusion: Results show a safety culture with potentialities and weaknesses that need to be developed, considering the nurse the cornerstone to the success of quality and safety enhancement of patient in Primary Health Care.Introducción: Los estudios sobre seguridad del paciente en la Atención Primaria a la Salud son actuales, pero no profundizan el real desempeño de los profesionales con relación a la seguridad del paciente. Así, es relevante evaluar la caracterización de la cultura de seguridad entre los profesionales de enfermería en este escenario, pues va a favorecer la mejora del cuidado a los usuarios.Objetivo: Evaluar la cultura de seguridad del paciente en Unidades con Estrategia de Salud de la Familia en la perspectiva de los enfermeros.Método: Estudio descriptivo de abordaje cuantitativo, realizado de julio a diciembre de 2017, en catorce unidades de salud de la ciudad de Curitiba (PR). Participaron de esta investigación cuarenta y tres enfermeros. El instrumento utilizado fue el Medical Office Survey on Patient Safety Culture (MOSPSC) que consiste en cincuenta y una preguntas que miden doce dimensiones de la seguridad del paciente. La confiabilidad del instrumento es de alfa de Cronbach de 0,95. Los datos fueron analizados por estadística descriptiva, por medio de una escala de Likert. Resultados: Se notaron problemas relacionados con el intercambio de información con otras instituciones, el proceso de trabajo, el miedo a la culpa, el castigo por los errores y la gestión. En la evaluación global de la Seguridad del Paciente, 50% de los profesionales de la Estrategia Salud de la Familia consideran “muy bueno” y de las Unidades Básicas de Salud, 73,9% consideran “bueno”.Conclusión: Los resultados muestran una cultura de seguridad con potencialidades y fragilidades que necesitan ser trabajadas, y el enfermero como base de este proceso para el fortalecimiento de la calidad y seguridad del paciente en la Atención Primaria a la Salud.Introdução: Os estudos sobre segurança do paciente na Atenção Primária à Saúde são atuais, mas não aprofundam o real desempenho dos profissionais em relação à segurança do paciente. Desta forma, é relevante avaliar a caracterização da cultura de segurança entre os profissionais de enfermagem neste cenário, pois favorecerá melhoria do cuidado aos usuários.Objetivo: Avaliar a cultura de segurança do paciente em Unidades com o programa Estratégia de Saúde da Família na perspectiva dos enfermeiros. Método: Estudo descritivo de abordagem quantitativa, realizado de julho a dezembro de 2017, em catorze unidades de saúde de Curitiba (PR). Participaram desta pesquisa quarenta e três enfermeiros. O instrumento utilizado foi o Medical Office Survey on Patient Safety Culture (MOSPSC) composto por cinquenta e uma perguntas que avaliam doze dimensões da segurança do paciente. A confiabilidade do instrumento é de alfa de Cronbach de 0,95. Os dados foram analisados por Estatística Descritiva, por meio da escala de Likert. Resultados: Notaram-se problemas relacionados com a troca de informação com outras instituições, ao processo de trabalho, medo da culpa, punição pelos erros e referentes à gestão. Na avaliação global da Segurança do Paciente, 50% dos profissionais da Estratégia de Saúde da Família consideram “muito bom” e na Unidades Básicas de Saúde, 73,9% consideram “bom”. Conclusão: Resultados mostram uma cultura de segurança com potencialidades e fragilidades que necessitam ser trabalhadas, considerando o enfermeiro como alicerce deste processo para fortalecimento da qualidade e segurança do paciente na Atenção Primária à Saúde

Programa para el cálculo de poligonales PG 1.0

1 archivo PDF (38 páginas)"El programa PG 1.0 complementa los cursos de Topografía que se imparten en cualquier institución educativa. Es muy útil para realizar trabajos profesionales de planimetría, ya que permite al usuario resolver los cálculos correspondientes a cualquier poligonal topográfica (levantada con cualquier tipo de instrumentos de medición angular y de distancias y de cualquier tamaño) de manera sencilla y rápida, pues se trata de un software muy amigable. Este programa lleva de la mano al usuario, puesto que sigue el camino lógico y usual en este tipo de cálculos; ajusta los ángulos de manera tradicional y aplica la "regla del tránsito" para la compensación lineal, así que proporciona los siguientes resultados: a) conocimiento del error angular y su ajuste, b) conocimiento del error total y sus componentes en los ejes cartesianos, e) conocimiento de la precisión del levantamiento, d) correcciones por regla del tránsito, e) coordenadas con base en las que se le proporcionen al punto de inicio, f) determinación del perímetro y del área del polígono, g) cálculo de los lados y los rumbos después de la corrección, h) por último, permite que se almacene como un archivo de textos, lo cual hace posible abrirlo como archivo de texto o en hoja de cálculo"

Redefinición de asociaciones en UML: semántica y utilización

Un inconveniente importante que presenta hoy en día UML es la falta de semántica formal. Existen muchos conceptos que no define con la suficiente precisión como para que puedan ser interpretados sin ambigüedades. Uno de los principales objetivos de este trabajo es precisar la semántica de la redefinición de asociaciones, un constructor de UML que nos permite definir de manera más específica extremos de asociaciones. Así mismo, comparamos este constructor con conceptos similares, como el subsetting (de UML) o el refinamiento de asociaciones (de otros lenguajes de modelado), con el objetivo de mostrar claramente que se tratan de conceptos semánticamente diferentes. Todo ello ayudará al diseñador a hacer un uso correcto del constructor de la redefinición de asociaciones. Otra contribución significativa de este trabajo es la de incorporar a UML la semántica del refinamiento de asociaciones. Para ello, creamos nuevos estereotipos que nos permitirán incorporar todos aquellos casos que podemos expresar con el refinamiento y que no quedan cubiertos por la redefinición de asociaciones. Finalmente, implementamos estos estereotipos en la herramienta CASE PoseidonUML

Calibración TLR y LRM en MATLAB para medidas con guías de onda

En este proyecto, lo primero que hemos hecho ha sido desarrollar un algoritmo en Matlab que implementara el método de calibración TRL, el funcionamiento del cual hemos comprobado en primera instancia mediante simulaciones y, posteriormente, mediante un ejemplo real. Posteriormente, hemos desarrollado otro algoritmo en Matlab para implementar el método de calibración LRM. Este algoritmo sólo lo hemos podido comprobar a nivel de simulación. A continuación, mediante los dos algoritmos, hemos realizado una comparación entre ambos sistemas de calibración a través de simulaciones. Finalmente, analizando los resultados de varias simulaciones calibradas con nuestro programa del método TRL, hemos buscado cuáles pueden ser los motivos para la aparición de picos indeseados y hemos encontrado uno de ellos.En aquest projecte, el primer que hem fet ha estat desenvolupar un algoritme en matlab que implementés el mètode de calibració TRL, el funcionament del qual hem pogut comprovar en primera instància mitjantçant simulacions i, posteriorment, mitjantçant un exemple real. Posteriorment, hem desenvolupat un altre algoritme en matlab per implementar el mètode de calibració LRM. Aquest algoritme només l'hem pogut comprovar a nivell de simulació. A continuació, mitjantçant els dos algoritmes, hem realitzat una comparació entre ambdós sitemes de calibració a través de simulacions. Finalment, analitzant els resultats de diferents simulacions calibrades amb el nostre programa del mètode TRL, hem buscat quins poden ser els motius de l'aparició de pics indesitjats i hem trobat un d'ells.In this project, the first thing that we have done has been to develop an algorithm in matlab that implement the method of calibration TRL, the operation that we have verified in first instance by means of simulations and, later, by means of a real example. Later, we have developed another algorithm in matlab to implement the method of calibration LRM. We only have been able to verify this algorithm at simulation level. Next, using both algorithms, we have made a comparison between both systems of calibration through simulations. Finally, analyzing the results of several simulations calibrated with our program of method TRL, we have looked for the reasons why undesired tips appear and we have found one of them

Incidencia de un sistema de acumulación de Costos Conjuntos para la fijación del precio de venta del tabaco despalillado que comercializa la Tabacalera Cubana Nicaragüense S.A. (TACUNISA) ubicada en la ciudad de Estelí durante el período 2012 – 2013

El presente trabajo cuenta con diez capítulos en donde se abordaron los antecedentes del mismo citando trabajos monográficos relacionados con el tema, además se explica la situación actual de la empresa sujeta de estudio justificando el porqué de esta investigación. Seguidamente se plantean los objetivos que se pretenden alcanzar al culminar la investigación, se recopila toda la información necesaria para sustentar teóricamente el tema de investigación, posteriormente se procede a elaborar los supuestos de investigación en donde se incluye una matriz de categorías y subcategorías construida por cada objetivo específico propuesto la cual generó los ejes de análisis tomados en cuenta en la elaboración de los instrumentos. Luego se presenta el diseño metodológico el cual incluye el tipo de investigación, tipo de estudio, tipo de muestreo, técnicas de recolección de datos y etapas de la investigación es en este capítulo donde se construye los instrumentos a aplicar en la empresa, como son las entrevistas dirigidas y guías de observación, las que serán procesadas en el capítulo de los resultados organizado por objetivos específicos

Inversion Analytics : Análisis sobre rentabilidad de inversiones mediante VAN y TIR

Inversion Analytics es una herramienta para facilitar el análisis en inversiones que se planteen en pequeñas, medianas y grandes empresas, en el que se plasmará toda la información necesaria para determinar los valores que entran en juego en la inversión. La aplicación realiza esta función mediante el cálculo de VAN (Valor Actual Neto) y TIR (Tasa Interna de Rentabilidad) de una inversión determinada, a partir de la información introducida por el usuario y teniendo en cuenta los distintos métodos de amortización de la inversión inicial, así como los distintos enfoques o supuestos en el que clasificaremos el horizonte temporal de la misma.Inversion Analytics és una eina per facilitar l'anàlisi en inversions que es plantegin a petites, mitjanes i grans empreses, en la que es plasmarà tota la informació necessària per a determinar els valors que entren en joc en la inversió. L'aplicació realitza aquesta funció mitjançant el càlcul VAN (Valor Actual Net) i TIR (Taxa Interna de Rendibilitat) d'una inversió determinada, a partir de la informació introduïda per l'usuari i tenint en compte els diferents mètodes d'amortització de la inversió inicial, així com els diversos enfocaments o supòsits en què classificarem l'horitzó temporal de la mateixa

Sistema de telepeaje en zonas urbanas

Las Low Emission Zones (LEZ) limitan el acceso de vehículos a las zonas más céntricas de las ciudades con el objetivo de reducir la densidad del tráfico y la contaminación ambiental. Estos sistemas tienen problemas de privacidad de los conductores y de efectividad en la detección del fraude. Este artículo presenta un sistema de telepeaje para LEZ que mejora estos problemas.Este trabajo está parcialmente financiado por el Gobierno de España (a través de una beca FPI BES-2012-054780 y los proyectos CO-PRIVACY TIN2011-27076-C03-01, ARES-CONSOLIDER INGENIO 2010 CSD2007-00004 y BallotNext IPT-2012-0603-430000)

Estructura de la Industria y Relaciones Patrimoniales del Gas Natural en Chile

El principal aporte de este artículo es entregar de manera sistemática y confiable una descripción de la estructura y relaciones de propiedad prevalecientes en la industria de Gas Natural en Chile. Se muestra que esta industria se encuentra geogràficamente segmentada en cuatro zonas: Norte, Centro, Sur y Magallanes. El desarrollo de las redes de Gas Natural dentro de cada zona es relativamente limitado y las estructuras de mercado en los segmentos de transporte y distribución, por el lado de la oferta, están concentradas. Por el lado de la demanda existen rasgos particulares dentro de cada zona, siendo común la mayor importancia de la demanda industrial por sobre la residencial. Se destaca la importancia de la relación que existe entre capacidad máxima de transporte, capacidad contratada y capacidad utilizada de las redes. Se observa una baja utilización de las redes, brindando una señal de baja eficiencia productiva al no aprovechar las economías de escala en el transporte del Gas Natural. Se analiza asimismo el grado de integración vertical dentro de cada zona, a través de las relaciones patrimoniales existentes entre las empresas participantes. Es un tópico importante de analizar debido a que la ausencia o no de competencia en mercados claves de alguna manera justifican o desechan la posibilidad de regular precios en la industria.